[IA64] Make VTI domain boot

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
Signed-off-by: Anthony Xu <anthony.tian@intel.com>

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index 7def6cb693add15a74b5fb4f778d2d510559d3d4..5a000448d9245d1ad972f87155198a759d656445 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -679,7 +679,7 @@ void assign_domain_page(struct domain *d, unsigned long mpaddr, unsigned long ph
 
        //XXX CONFIG_XEN_IA64_DOM0_VP
        //    TODO racy
-       if ((mpaddr & GPFN_IO_MASK) == GPFN_MEM)
+       if ((physaddr & GPFN_IO_MASK) == GPFN_MEM)
                set_gpfn_from_mfn(physaddr >> PAGE_SHIFT, mpaddr >> PAGE_SHIFT);
        }
        else printk("assign_domain_page: mpaddr %lx already mapped!\n",mpaddr);